monad comprehensions - definizione. Che cos'è monad comprehensions
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è monad comprehensions - definizione

WIKIMEDIA DISAMBIGUATION PAGE
Monads; Monad (symbol); Monad (disambiguation); Monad (mathematics)

monad         
<theory, functional programming> /mo'nad/ A technique from category theory which has been adopted as a way of dealing with state in functional programming languages in such a way that the details of the state are hidden or abstracted out of code that merely passes it on unchanged. A monad has three components: a means of augmenting an existing type, a means of creating a default value of this new type from a value of the original type, and a replacement for the basic application operator for the old type that works with the new type. The alternative to passing state via a monad is to add an extra argument and return value to many functions which have no interest in that state. Monads can encapsulate state, side effects, exception handling, global data, etc. in a purely lazily functional way. A monad can be expressed as the triple, (M, unitM, bindM) where M is a function on types and (using Haskell notation): unitM :: a -> M a bindM :: M a -> (a -> M b) -> M b I.e. unitM converts an ordinary value of type a in to monadic form and bindM applies a function to a monadic value after de-monadising it. E.g. a state transformer monad: type S a = State -> (a, State) unitS a = s0 -> (a, s0) m 'bindS' k = s0 -> let (a,s1) = m s0 in k a s1 Here unitS adds some initial state to an ordinary value and bindS applies function k to a value m. ('fun' is Haskell notation for using a function as an infix operator). Both m and k take a state as input and return a new state as part of their output. The construction m 'bindS' k composes these two state transformers into one while also passing the value of m to k. Monads are a powerful tool in functional programming. If a program is written using a monad to pass around a variable (like the state in the example above) then it is easy to change what is passed around simply by changing the monad. Only the parts of the program which deal directly with the quantity concerned need be altered, parts which merely pass it on unchanged will stay the same. In functional programming, unitM is often called initM or returnM and bindM is called thenM. A third function, mapM is frequently defined in terms of then and return. This applies a given function to a list of monadic values, threading some variable (e.g. state) through the applications: mapM :: (a -> M b) -> [a] -> M [b] mapM f [] = returnM [] mapM f (x:xs) = f x 'thenM' ( x2 -> mapM f xs 'thenM' ( xs2 -> returnM (x2 : xs2) )) (2000-03-09)
monad         
['m?nad, 'm??-]
¦ noun
1. technical a single unit; the number one.
2. Philosophy (in the philosophy of Leibniz) an indivisible and hence ultimately simple entity, e.g. an atom or a person.
3. Biology, dated a single-celled organism or a single cell.
Derivatives
monadic adjective
monadism noun (Philosophy).
Origin
C17: via late L. from Gk monas, monad- 'unit', from monos 'alone'.
Monad (functional programming)         
  •  accessdate = 16 October 2018}}</ref>
DESIGN PATTERN IN FUNCTIONAL PROGRAMMING TO BUILD GENERIC TYPES
Monads in functional programming; Monad (programming); Writer monad; Monad laws; Bind (higher-order function); Monad (Haskell); Monadic type; Monad (computer science); Do-notation; Additive monad; MonadPlus; State monad; LiftM2; Free monad; I/O monad; Maybe monad; Generic monadic functions
In functional programming, a monad is a software design pattern with a structure that combines program fragments (functions) and wraps their return values in a type with additional computation. In addition to defining a wrapping monadic type, monads define two operators: one to wrap a value in the monad type, and another to compose together functions that output values of the monad type (these are known as monadic functions).

Wikipedia

Monad